Branching Time and Orthogonal Bisimulation Equivalence

机译：分支时间和正交双仿真等价

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Bergstra, J.A.; Ponse, A.; van der Zwaag, M.B.;
展开▼
作者单位

展开▼
年度 2003
总页数
原文格式 PDF
正文语种 und
中图分类

相似文献

外文文献
中文文献
专利

1. Branching time and orthogonal bisimulation equivalence [J] . Jan A. Bergstra, Alban Ponse, Mark B. van der Zwaag Theoretical computer science . 2003,第1a3期

机译：分支时间和正交双仿真等价
2. Timed Delay Bisimulation is an Equivalence Relation for Timed Transition Systems [J] . Natalya Gribovskaya, Irina Virbitskaite Fundamenta Informaticae . 2009,第1a3期

机译：定时延迟双仿真是定时转换系统的等价关系
3. An O (mlog n) Algorithm for Computing Stuttering Equivalence and Branching Bisimulation [J] . Groote Jan Friso, Jansen David N., Keiren Jeroen J. A., ACM transactions on computational logic . 2017,第2期

机译：一种O（mlog n）算法，用于计算口吃等效和分支双仿真
4. An O(m log n) Algorithm for Stuttering Equivalence and Branching Bisimulation [C] . Jan Priso Groote, Anton Wijs International conference on tools and algorithms for the construction and analysis of systems;European joint conferences on theory and practice of software . 2016

机译：口吃等效和分支双仿真的O（m log n）算法
5. Supervisory control of discrete event systems for bisimulation or simulation equivalence. [D] . Zhou, Changyan. 2007

机译：用于双仿真或仿真等效的离散事件系统的监督控制。
6. An Equivalence Theorem for Series of Orthogonal Polynomials [O] . G. H. Peebles 1939

机译：一系列正交多项式的等价定理
7. Branching time and orthogonal bisimulation equivalence [O] . Bergstra Jan A., Ponse Alban, van der Zwaag Mark B. 2003

机译：分支时间和正交双仿真等价
8. Branching Time and Orthogonal Bisimulation Equivalence. [R] . Bergstra, J. A., Ponse, A., van der Zwang, M. B. 2000

机译：分枝时间与正交双模拟等价。

Branching Time and Orthogonal Bisimulation Equivalence

著录项

引文网络

相似文献

相关主题

期刊订阅